System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
141	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc. Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computing Computer programming Data types Type theory Subroutines Functional programming Lambda calculus Type system Gradual typing Anonymous function Type safety
142	Press Release Software Enablement is Critical to IoT & Embedded Processor Value, According to New Research by VDC Programming tools, development environments, and other software have a major and growing influence behind Add to Reading List Source URL: www.vdcresearch.com Language: English - Date: 2016-02-01 13:56:29 Computer architecture Computing Instruction set architectures Computer engineering Acorn Computers Fabless semiconductor companies Embedded system ARM Holdings ARC ARM architecture Software Wind River Systems
143	First-Class Sprites in Snap! Jens Mönig MaySnap’s standard microworld - derived from MIT Scratch - revolves around controlling cartoonish 2D actors called “sprites” living in a presentation area called “ Add to Reading List Source URL: snap.berkeley.edu Language: English - Date: 2016-05-02 07:52:15 Software development Software engineering Software Visual programming languages Video game development Sprite Video game design Snap! Scratch Nintendo Entertainment System Texas Instruments TMS9918
144	Improved Type Specialization for Dynamic Scripting Languages Madhukar N Kedlaya† † Jared Roesch† Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Computer programming Computing Cross-platform software Procedural programming languages Type theory Functional languages Object-oriented programming languages Type inference Type system Inference SpiderMonkey
145	FermiWorks Set Up DelegationOverview: After determining who will be the delegate(s) to manage your FermiWorks Inbox, you can set those delegations in the system. Verify the delegate(s) have the sufficient sec Add to Reading List Source URL: fermiworks.fnal.gov Language: English Microsoft Subroutines Computing Software Computer programming Event Email Delegate Outlook.com Delegation Business process management Point and click
146	Python Programming This is a beginner course suitable for anyone wanting to use Python 2 for developing applications, writing test for QA or using it for system administration. Objectives:   Add to Reading List Source URL: www.skilit.net Language: English - Date: 2016-02-17 08:58:34 Software engineering Software Computer programming Scripting languages Object-oriented programming languages High-level programming languages Cross-platform software Python Modular programming Object-oriented programming Help Ruby
147	Tracking Vehicular Speed Variations by Warping Mobile Phone Signal Strengths Gayathri Chandrasekaran∗, Tam Vu∗ Alexander Varshavsky†, Marco Gruteser∗ , Richard P. Martin∗ , Jie Yang‡, Yingying Chen‡ ∗ Add to Reading List Source URL: www.winlab.rutgers.edu Language: English - Date: 2011-08-05 16:47:25 Statistics Applied mathematics Mathematics Dynamic programming Dynamic time warping Time series analysis Algorithm Global Positioning System Speech recognition K-means clustering Random sample consensus
148	A Format String Checker for Java Konstantin Weitz Siwakorn Srisakaokul University of Washington, USA Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-07-07 00:47:36 Computing Software engineering Computer programming Type theory Data types Cross-platform software Object-oriented programming languages C standard library Printf format string Comparison of programming languages Uncontrolled format string Type system
149	Precimonious: Tuning Assistant for Floating-Point Precision Cindy Rubio-Gonz´alez1 , Cuong Nguyen1 , Hong Diep Nguyen1 , James Demmel1 , William Kahan1 , Koushik Sen1 , David H. Bailey2 , Costin Iancu2 , and David Hough Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2013-08-25 13:39:42 Computing Computer arithmetic Software engineering Computer programming Floating point LLVM Kahan summation algorithm Extended precision IEEE floating point Program analysis Lookup table Type system
150	Mining Sandboxes Konrad Jamrozik · Philipp von Styp-Rekowsky Add to Reading List Source URL: www.boxmate.org Language: English - Date: 2015-11-03 10:04:04 Software Computing System software Smartphones Software testing Android Social networking services Cloud clients Snapchat Sandbox Application programming interface Test automation

UPDATE